-
1 Boole, George
SUBJECT AREA: Electronics and information technology[br]b. 2 November 1815 Lincoln, Englandd. 8 December 1864 Ballintemple, Coounty Cork, Ireland[br]English mathematician whose development of symbolic logic laid the foundations for the operating principles of modern computers.[br]Boole was the son of a tradesman, from whom he learned the principles of mathematics and optical-component manufacturing. From the early age of 16 he taught in a number of schools in West Yorkshire, and when only 20 he opened his own school in Lincoln. There, at the Mechanical Institute, he avidly read mathematical journals and the works of great mathematicians such as Lagrange, Laplace and Newton and began to tackle a variety of algebraic problems. This led to the publication of a constant stream of original papers in the newly launched Cambridge Mathematical Journal on topics in the fields of algebra and calculus, for which in 1844 he received the Royal Society Medal.In 1847 he wrote The Mathematical Analysis of Logic, which applied algebraic symbolism to logical forms, whereby the presence or absence of properties could be represented by binary states and combined, just like normal algebraic equations, to derive logical statements about a series of operations. This laid the foundations for the binary logic used in modern computers, which, being based on binary on-off devices, greatly depend on the use of such operations as "and", "nand" ("not and"), "or" and "nor" ("not or"), etc. Although he lacked any formal degree, this revolutionary work led to his appointment in 1849 to the Chair of Mathematics at Queen's College, Cork, where he continued his work on logic and also produce treatises on differential equations and the calculus of finite differences.[br]Principal Honours and DistinctionsRoyal Society Medal 1844. FRS 1857.BibliographyBoole's major contributions to logic available in republished form include George Boole: Investigation of the Laws of Thought, Dover Publications; George Boole: Laws of Thought, Open Court, and George Boole: Studies in Logic \& Probability, Open Court.1872, A Treatise on Differential Equations.Further ReadingW.Kneale, 1948, "Boole and the revival of logic", Mind 57:149.G.C.Smith (ed.), 1982, George Boole \& Augustus de Morgan. Correspondence 1842– 1864, Oxford University Press.—, 1985, George Boole: His Life and Work, McHale.E.T.Bell, 1937, Men of Mathematics, London: Victor Gollancz.KF
См. также в других словарях:
Binary numeral system — Numeral systems by culture Hindu Arabic numerals Western Arabic (Hindu numerals) Eastern Arabic Indian family Tamil Burmese Khmer Lao Mongolian Thai East Asian numerals Chinese Japanese Suzhou Korean Vietnamese … Wikipedia
Binary decision diagram — In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a… … Wikipedia
Symbolic method — In mathematics, the symbolic method in invariant theory is a highly formal algorithm developed in the 19th century for computing form invariants mdash; invariants of algebraic forms. It is based on repeated applications of the Omega process… … Wikipedia
Binäre quadratische Form — Eine binäre quadratische Form (in diesem Artikel oft kurz nur Form genannt), ist in der Mathematik eine quadratische Form in zwei Variablen x,y, also ein Polynom der Gestalt , wobei a,b,c die Koeffizienten der Form sind. Die Form f mit schreibt… … Deutsch Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Extended Binary Coded Decimal Interchange Code — (EBCDIC) is an 8 bit character encoding (code page) used on IBM mainframe operating systems such as z/OS, OS/390, VM and VSE, as well as IBM midrange computer operating systems such as OS/400 and i5/OS (see also Binary Coded Decimal). It is also… … Wikipedia
information processing — Acquisition, recording, organization, retrieval, display, and dissemination of information. Today the term usually refers to computer based operations. Information processing consists of locating and capturing information, using software to… … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
code — by William Pawlett The concept of the code (le code, la grille) is an important term in Baudrillard s early work. It is used in two related senses: firstly, to understand and critique consumer capitalism, suggesting that it is a system of… … The Baudrillard dictionary
Calculator — For mechanical precursors to the modern calculator, see mechanical calculator. For other uses, see Calculator (disambiguation). An electronic pocket calculator with a 7‑segment LCD display, that can perform basic arithmetic operations … Wikipedia
